161. Handbook of mathematical induction: theory and applications
پدیدآورنده : / David S. Gunderson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Proof theory,Induction (Mathematics),Logic, Symbolic and mathematical,Probabilities
رده :
511
.
36
G975H
2011
162. Handbook of spatial logics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Mathematics. ;
163. Helping students make sense of the world using next generation science and engineering practices /
پدیدآورنده : Christina V. Schwarz, Cindy Passmore, and Brian J. Reiser.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Curriculum evaluation.,Curriculum-based assessment.,Logic, Symbolic and mathematical-- Study and teaching.,Mathematics-- Study and teaching.,Science-- Study and teaching.,Curriculum evaluation.,Curriculum-based assessment.,Logic, Symbolic and mathematical-- Study and teaching.,Mathematics-- Study and teaching.,SCIENCE / Study & Teaching,Science-- Study and teaching.
رده :
QA9
164. How to prove it :
پدیدآورنده : / Daniel J. Velleman
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical,Mathematics
رده :
E-BOOK
165. How to prove it
پدیدآورنده : / Daniel J. Velleman
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical,Mathematics
رده :
QA9
.
V38
1994
166. How to prove it
پدیدآورنده : / Daniel J. Velleman
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical,Mathematics
رده :
QA9
.
V38
2006
167. How to prove it : a structured approach
پدیدآورنده : Velleman, Daniel J.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics
رده :
QA
9
.
V38
1994
168. How to prove it : a structured approach
پدیدآورنده : Velleman, Daniel J.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Logic, Symbolic and mathematical , Mathematics
رده :
QA
9
.
V38
169. How to prove it : a structured approach
پدیدآورنده : Velleman, Daniel J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics
رده :
QA
9
.
V4
170. Ideals, Varieties, and Algorithms
پدیدآورنده : by David Cox, John Little, Donal O'Shea.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
171. Inconsistent Mathematics
پدیدآورنده : by Chris Mortensen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Logic, Symbolic and mathematical.,Logic.,Mathematics.
172. Induction and self- induction
پدیدآورنده : Heinz Rieger
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Induction )Mathematics(,، Logic, Symbolic and mathematical
رده :
QA
9
.
R5
I7
1989
173. Inexhaustibility : a non-exhaustive treatment
پدیدآورنده : Franzen, Torkel, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Incompleteness theorems,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
16
174. Information, Uncertainty and Fusion
پدیدآورنده : edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Information storage and retrieval systems.,Logic, Symbolic and mathematical.,Mathematics.,Microeconomics.
175. Intelligent Hybrid Systems
پدیدآورنده : edited by Da Ruan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Mathematics.
176. Interpolation Theory and Its Applications
پدیدآورنده : by L. A. Sakhnovich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Fourier analysis.,Logic, Symbolic and mathematical.,Mathematics.,Operator theory.
177. Interpreting Godel : critical essays
پدیدآورنده : edited by Juliette Kennedy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Godel, Kurt Friedrich, 6091-8791,، Mathematics -- Philosophy
رده :
QA
9
.
2
.
I586
178. Introducing difficult mathematics topics in the elementary classroom :
پدیدآورنده : Francis J. Gardella.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Curriculum planning.,Logic, Symbolic and mathematical-- Study and teaching (Elementary),Mathematics-- Study and teaching (Elementary),Curriculum planning.,Logic, Symbolic and mathematical-- Study and teaching (Elementary),Mathematics-- Study and teaching (Elementary)
رده :
QA135
.
6
.
G37
2008
179. Introduction to the foundaions of mathematics
پدیدآورنده : Wilder, Raymond Louis
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Mathematics,Symbolic and mathematical ، Logic
رده :
QA
9
.
W58
1965
